Evolution of migraine-associated symptoms in menstrually related migraine following symptomatic treatment with almotriptan

In addition to headache, migraine is characterized by a series of symptoms that negatively affects the quality of life of patients. Generally, these are represented by nausea, vomiting, photophobia, phonophobia and osmophobia, with a cumulative percentage of the onset in about 90% of the patients. From this point of view, menstrually related migraine—a particularly difficult-to-treat form of primary headache—is no different from other forms of migraine. Symptomatic treatment should therefore be evaluated not only in terms of headache relief, but also by considering its effect on these migraine-associated symptoms (MAS). Starting from the data collected in a recently completed multicentre, randomized, double-blind, placebo-controlled, cross-over study with almotriptan in menstrually related migraine, an analysis of the effect of this drug on the evolution of MAS was performed. Data suggest that almotriptan shows excellent efficacy on MAS in comparison to the placebo, with a significant reduction in the percentages of suffering patients over a 2-h period of time

Understanding the Impact of Symmetrical Substitution on the Photodynamics of Sinapate Esters Using Gas-Phase Ultrafast Spectroscopy

Two model biomimetic systems, ethyl sinapate (ES) and its symmetrical analogue, diethyl 2-(4-hydroxy-3,5-dimethoxybenzylidene)malonate (or diethyl sinapate, DES), are stripped to their core fundamentals through gas-phase spectroscopy to understand the underlying photophysics of photothermal materials. Following photoexcitation to the optically bright S1(ππ*) state, DES is found to repopulate the electronic ground state over three orders of magnitude quicker than its non-symmetrical counterpart, ES. Our XMS-CASPT2 calculations shed light on the experimental results, revealing crucial differences in the potential energy surfaces and conical intersection topography between ES and DES. From this work, a peak conical intersection, seen for DES, shows vital importance for the non-radiative ground state recovery of photothermal materials. This fundamental comparative study highlights the potential impact that symmetrical substitution can have on the photodynamics of sinapate esters, providing a blueprint for future advancement in photothermal technology

On the formalization of termination techniques based on multiset orderings

Multiset orderings are a key ingredient in certain termination techniques like the recursive path ordering and a variant of size-change termination. In order to integrate these techniques in a certifier for termination proofs, we have added them to the Isabelle Formalization of Rewriting. To this end, it was required to extend the existing formalization on multiset orderings towards a generalized multiset ordering. Afterwards, the soundness proofs of both techniques have been established, although only after fixing some definitions. Concerning efficiency, it is known that the search for suitable parameters for both techniques is NP-hard. We show that checking the correct application of the techniques-where all parameters are provided-is also NP-hard, since the problem of deciding the generalized multiset ordering is NP-hard. © René Thiemann, Guillaume Allais, and JulianNagele

POPLMark reloaded: Mechanizing proofs by logical relations

We propose a new collection of benchmark problems in mechanizing the metatheory of programming languages, in order to compare and push the state of the art of proof assistants. In particular, we focus on proofs using logical relations (LRs) and propose establishing strong normalization of a simply typed calculus with a proof by Kripke-style LRs as a benchmark. We give a modern view of this well-understood problem by formulating our LR on well-typed terms. Using this case study, we share some of the lessons learned tackling this problem in different dependently typed proof environments. In particular, we consider the mechanization in Beluga, a proof environment that supports higher-order abstract syntax encodings and contrast it to the development and strategies used in general-purpose proof assistants such as Coq and Agda. The goal of this paper is to engage the community in discussions on what support in proof environments is needed to truly bring mechanized metatheory to the masses and engage said community in the crafting of future benchmarks

Efficacy of frovatriptan versus other triptans in the acute treatment of menstrual migraine: pooled analysis of three double-blind, randomized, crossover, multicenter studies

The objective of this study was to review the efficacy and safety of frovatriptan (F) versus rizatriptan (R), zolmitriptan (Z) and almotriptan (A), in women with menstrually related migraine (IHS criteria) through a pooled analysis of three individual studies. Subjects with a history of migraine with or without aura were randomized to F 2.5 mg or R 10 mg (study 1), F or Z 2.5 mg (study 2), and F or A 12.5 mg (study 3). The studies had an identical multicenter, randomized, double-blind, crossover design. After treating three episodes of migraine in no more than 3 months with the first treatment, patients had to switch to the next treatment for other 3 months. 346 subjects formed intention-to-treat population of the main study; 280 of them were of a female gender, 256 had regular menses and 187 were included in the menstrual migraine subgroup analysis. Rate of pain free at 2, 4 and 24 h was 23, 52 and 67 % with F and 30, 61 and 66 % with comparators (P = NS). Pain relief episodes at 2, 4 and 24 h were 37, 60 and 66 % for F and 43, 55 and 61 % for comparators (P = NS). Rate of recurrence was significantly (P < 0.05) lower under F either at 24 h (11 vs. 24 % comparators) or at 48 h (15 vs. 26 % comparators). Number of menstrual migraine attacks associated with drug-related adverse events was equally low (P = NS) between F (5 %) and comparators (4 %)

Headache and adverse pregnancy outcomes: a prospective study

.

SOFI: A 3D simulator for the generation of underwater optical images

International audienceWe present an original simulator-called SOFI-for the synthetic generation of underwater optical images. The simulator architecture is flexible and relies on flow diagrams in order to allow the integration of various models for image generation which are based on the underwater optical phenomena. The objective is also to ensure real time or quasi real time performance so it takes advantage of the latest technologies, such as GPGPU, and relies on GPU programming under CUDA. Two kinds of models for image generation are presented and should be integrated in SOFI: (1) the OSOA model based on the radiative transfer theory and (2) global image modeling which describes globally how an image is deteriorated under the effects of sea water

Self-medication for migraine: a Nationwide cross-sectional study in Italy

Headache disorders are considered the second leading cause of years lived with disability worldwide, and 90% of people have a headache episode at least once a year, thus representing a relevant public health priority. As the pharmacist is often the first and only point of reference for people complaining of headache, we carried out a survey in a nationwide sample of Italian pharmacies, in order to describe the distribution of migraine or non-migraine type headaches and medicines overuse among people entering pharmacies seeking for self-medication; and to evaluate the association, in particular of migraine, with socio-demographic and clinical characteristics, and with the pathway of care followed by the patients. A 14-item questionnaire, including socio-demographic and clinical factors, was administered by trained pharmacists to subjects who entered a pharmacy requesting self-medication for a headache attack. The ID Migraine™ Screener was used to classify headache sufferers in four classes. From June 2016 to January 2017, 4424 people have been interviewed. The prevalence of definite migraines was 40%, significantly higher among women and less educated people. About half of all headache sufferers and a third of migraineurs do not consider their condition as a disease and are not cared by any doctor. Among people seeking self-medication in pharmacies for acute headache attacks, the rate of definite or probable migraine is high, and a large percentage of them is not correctly diagnosed and treated. The pharmacy can be a valuable observatory for the study of headaches, and the first important step to improve the quality of care delivered to these patients